『Constructive Mathematics』

構成的数学(こうせいてきすうがく、constructive mathematics)

E. Bishopの構成的解析学

L.I.J. Brouwerの直観主義数学(intuitionistic mathematics)

A.A. Markov. Jrの学派の構成的帰納的数学(constructive recursive mathematics

Goldbach conjecture(GC)

1. Introduction

2. The Constructive Interpretation of Logic(論理の構成的解釈)

3. Varieties of Constructive Mathematics(様々な構成的数学)

3.1 Intuitionistic Mathematics(直観的数学)

3.2 Recursive Constructive Mathematics(再帰的構成的数学)

3.3 Bishop’s Constructive Mathematics(Bishopの構成的数学)

3.4 Martin-Löf’s Constructive Type Theory(Martin-Löf構成的型理論)

4. The Axiom of Choice(選択公理)

5. Constructive Reverse Mathematics(構成的逆数学？)

5.1 Fan theorems in CRM

6. Constructive Topology

7. Constructive Mathematical Economics and Finance

8. Concluding Remarks

Bibliography

References

Related Literature

Academic Tools

Other Internet Resources

Related Entries